(assert (=)
